Variability modules

A Software Product Line (SPL) is a family of similar programs, called variants, generated from common artifact base. Multi SPL (MPL) set interdependent SPLs: each variant can depend on variants other SPLs. MPLs are challenging to model and implement efficiently, especially when different the same must coexist interoperate. We address this challenge by introducing concept variability module (VM), new language construct. VM constitutes at time an standard (variability-free), possibly interdependent, modules. Generating triggers generation all required satisfy its dependencies. Consequentially, VMs represents MPL that be compiled into illustrate with example industrial modeling scenario formalize it in core calculus. define family-based analyses check satisfies certain well-formedness conditions whether generated. Finally, we provide implementation for Java-like ABS, evaluate case studies.